eclthrow($a$; $n$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr inr inr inr inr inr (inl $<$$a$, $n$$>$ )